Projective Forcing
نویسندگان
چکیده
We study the projective posets and their properties as forcing notions. We also define Martin’s axiom restricted to projective sets, MA(proj), and show that this axiom is weaker than full Martin’s axiom by proving the consistency of ZFC + XH + MA(proj) with “there exists a Suslin tree”, “there exists a non-strong gap”, “there exists an entangled set of reals” and “there exists K < 2No such that 2No < 2K”.
منابع مشابه
Forcing axioms and projective sets of reals
This paper is an introduction to forcing axioms and large cardinals. Specifically, we shall discuss the large cardinal strength of forcing axioms in the presence of regularity properties for projective sets of reals. The new result shown in this paper says that ZFC + the bounded proper forcing axiom (BPFA) + “every projective set of reals is Lebesgue measurable” is equiconsistent with ZFC + “th...
متن کاملGeneric absoluteness under projective forcing∗
We study the preservation of the property of L(R) being a Solovay model under projective ccc forcing extensions. We compute the exact consistency strength of the generic absoluteness of L(R) under forcing with projective ccc partial orderings and, as an application, we build models in which Martin’s Axiom holds for Σ ∼ 1 n partial orderings, but it fails for the Σ ∼ 1 n+1.
متن کاملSlow Forcing in the Projective Dynamics Method
We provide a proof that when there is no forcing the recently introduced projective dynamics Monte Carlo algorithm gives the exact lifetime of the metastable state, within statistical uncertainties. We also show numerical evidence illustrating that for slow forcing the approach to the zero-forcing limit is rather rapid. The model studied numerically is the 3-dimensional 3-state Potts ferromagnet.
متن کامل1 1 Ju l 2 00 3 The Theory of Tight Closure from the Viewpoint of Vector Bundles
Contents Introduction 3 1. Foundations 13 1.1. A survey about the theory of tight closure 13 1.2. Solid closure and forcing algebras 23 1.3. Cohomological dimension 25 1.4. Vector bundles, locally free sheaves and projective bundles 28 2. Geometric interpretation of tight closure via bundles 30 2.1. Relation bundles 30 2.2. Affine-linear bundles arising from forcing algebras 32 2.3. Cohomology ...
متن کاملProper forcing extensions and Solovay models
We study the preservation of the property of L(R) being a Solovay model under proper projective forcing extensions. We show that every ∼ 1 3 strongly-proper forcing notion preserves this property. This yields that the consistency strength of the absoluteness of L(R) under ∼ 1 3 strongly-proper forcing notions is that of the existence of an inaccessible cardinal. Further, the absoluteness of L(R...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 86 شماره
صفحات -
تاریخ انتشار 1997